IMPROVED SVM SPEAKER VERIFICATION THROUGH DATA-DRIVEN BACKGROUND DATASET SELECTION Mitchell McLaren, Brendan Baker, Robbie Vogt, Sridha Sridharan Speech and Audio Research Laboratory, Queensland University of Technology,

Source URL: mistral.univ-avignon.fr

DATA-DRIVEN VERIFICATION A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: theory.stanford.edu

1496 IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, VOL. 18, NO. 6, AUGUST 2010 Data-Driven Background Dataset Selection for SVM-Based Speaker Verification

Source URL: mistral.univ-avignon.fr

Vercors – Verification of Concurrent Data Structures Hedendaagse softwaretoepassingen stellen steeds hogere eisen aan de snelheid van de onderliggende hardware. Hardware is de laatste decennia wel veel sneller geworden

Source URL: fmt.cs.utwente.nl

Modular Data Structure Verification

Source URL: lara.epfl.ch

THE USE OF BANK DATA FOR IDENTITY VERIFICATION White Paper   August 2015

Source URL: www.oixuk.org

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

A Survey of Public Provable Data Possession Schemes with Batch Verification in Cloud Storage∗ Sooyeon Shin and Taekyoung Kwon† Graduate School of Information, Yonsei University, Seoul, Republic of Korea shinsy80@gmai

Source URL: isyou.info

Verification as Specialization of Interpreters with Respect to Data Alexei P. Lisitsa1 and Andrei P. Nemytykh2? 1 Department of Computer Science, The University of Liverpool

Source URL: meta2008.pereslavl.ru

Attack, solution and verification for shared authorisation data in TCG TPM Liqun Chen and Mark Ryan HP Labs, UK, and University of Birmingham, UK

Source URL: www.cs.bham.ac.uk